$menu-border-color: dynamic($divider-color);
$menu-border-radius: dynamic(2px);
$menu-body-padding: dynamic(8px 0);
$menu-body-padding-big: dynamic(16px 0);
$menu-icon-column-width: dynamic(48px);
$menu-icon-column-width-big: dynamic(64px);
$menu-text-spacing: dynamic(16px);
$menu-text-spacing-big: dynamic(16px);
$menu-component-textfield-vertical-spacing: dynamic(0);
$menu-component-textfield-vertical-spacing-big: dynamic(0);
